#include <stdio.h>


void printf_WJ(void)
{
	printf("王杰");
}

int main()
{
	printf_WJ();
	return 0;
}